Feeds to Scour
SubscribedAll
Scoured 83027 posts in 834.1 ms
Reducing the Costs of Proof Synthesis on Rust Systems by Scaling Up a Seed Training Set
arxiv.org·1d
🔒Rust Borrowing
Let Lambda Come Over
yamlscript.org·9h
λLambda Calculus
To Consume or Reference in Rust
meejah.ca·1d
🔒Rust Borrowing
Zinc Language Design
ziggit.dev·5h
🔧Nickel
Build a Compiler in Five Projects
kmicinski.com·4h
🎭Racket Modules
codx-dev/msgpacker: MessagePack serializer implementation for Rust / msgpack.org[Rust]
github.com·1d·
Discuss: Hacker News
🪆Embedded DSLs
React Compiler and why class objects can work against memoization
anita-app.com·1d·
Discuss: Hacker News
🌊Gradual Effects
10-Part Series on Breadth-First Traversals in Haskell
doisinkidney.com·1d·
Discuss: Hacker News
🌳Tree Walking
Deterministic AI: Reclaiming Predictable Latency with Rust and Zero-Cost Abstractions
dev.to·1d·
Discuss: DEV
🦀MIR Optimization
Type Variance
en.wikipedia.org·1d·
Discuss: Hacker News
🎭Polymorphic Variants
Refactoring 038
dev.to·1d·
Discuss: DEV
🌈Gradual Languages
The control layer for AI
blog.dottxt.ai·14h·
Discuss: Hacker News
🔀Control Structures
Taming the Regex Monster: Optimizing Massive Literal Alternations
modern-c.blogspot.com·1d·
Discuss: r/golang
🔤Regex Engines
Bitcoin PIPEs v2
eprint.iacr.org·2d
🔬Nanopasses
Building Highly Efficient Inference System for Recommenders Using PyTorch
pytorch.org·1d·
Discuss: Hacker News
✨Gleam
impl Rust: Avro IDL tool in Rust via ANTLR
youtube.com·15h
⚙️TOML Parsers
On the Reachability Problem for One-Dimensional Thin Grammar Vector Addition Systems
arxiv.org·1d
🎰Parsing Machines
Continual learning and the post monolith AI era
baseten.co·15h·
Discuss: Hacker News
🧠Memory Models
Style tips for less experienced developers coding with AI
honnibal.dev·1d·
Discuss: Hacker News
🌊Gradual Effects
Private Data Space Model
privatedata.space·2d
🪢Rope Data Structures

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help